higher-order path termination - Englisch Synonyme Wörterbuch